data Bool = True | False